https://coinjournal.net/news/sec-hunts-for-a-smart-contract-analysis-tool-to-strengthen-its-enforcement/